Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
431	Foundational certification of data-flow analyses Maria Jo˜ao Frade Departamento de Inform´atica Universidade do Minho Campus de Gualtar, P[removed]Braga, Portugal Email: [removed] Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:23:21 Mathematics Metalogic Hoare logic Predicate transformer semantics Structure Interpretation Program logic Model theory Logic
432	SC / ICDM Operational Plan 2013 – 2014 Program Logic Domain: Early Intervention and Integrated Care Strategic Direction Goal Add to Reading List Source URL: www.centralwestgippslandpcp.com Language: English - Date: 2015-03-02 18:20:12 Evaluation Clinical pathway Medicine Health Dementia
433	Programme Business Case [Proposal Name] Add to Reading List Source URL: hip.nzta.govt.nz Language: English - Date: 2013-06-03 16:10:36 Business case Stakeholder Logic model AccountAbility Program management Evaluation Business Project management Management
434	Towards the Industrial Scale Development of Custom Static Analyzers John Anton, Eric Bush, Allen Goldberg, Klaus Havelund, Doug Smith, Arnaud Venet Kestrel Technology LLC 4984 El Camino Real #230 Los Altos, CA 94022 Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:17:59 Computer programming Logic in computer science Program analysis Abstract interpretation Static program analysis Astrée Formal verification Runtime verification Programming language Software engineering Computing Formal methods
435	On Refinement Calculus and Partial Correctness (DRAFT) R.D. Arthan 10 December[removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:15 Program logic Functions and mappings Function Hoare logic Refinement calculus S Monad Uniform space Mathematics Mathematical logic Formal methods
436	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Add to Reading List Source URL: www.arc.gov.au Language: English - Date: 2010-11-15 19:09:56 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
437	Project title Mobile Family Resource Centre also known as Bernie on Wheels. Project practice Add to Reading List Source URL: www.aifs.gov.au Language: English - Date: 2014-10-14 22:44:33 Health Program evaluation Logic model Social capital Health promotion Evaluation methods Evaluation Sociology
438	Vanuatu&TVET&Sector&Strengthening&Program&Phase&3! ! ! Monitoring(and(Evaluation(Plan! Version(2! May 2014 Add to Reading List Source URL: www.vanuatutvet.org.vu Language: English - Date: 2014-07-21 17:35:53 Sociology Logic model Impact evaluation Capacity building Vanuatu Evaluation Evaluation methods Science
439	Microsoft PowerPoint - KP Workshop - Feb 15, 2010.pptx Add to Reading List Source URL: www.appliedsurveyresearch.org Language: English - Date: 2012-02-09 18:15:24 Impact assessment Program evaluation Kaiser Permanente Logic model Evaluation Evaluation methods Sociology
440	REALIST EVALUATION: UNPACKING HOW A PROGRAMME WORKS AND IMPLICATIONS FOR FUTURE POLICY DECISIONS Bronny Walsh, November 2011 Add to Reading List Source URL: aic.gov.au Language: English - Date: 2011-12-06 06:04:43 Impact assessment Science Program evaluation Impact evaluation Logic model Closed-circuit television Empowerment evaluation Evaluation Evaluation methods Sociology

UPDATE